Deduction theorem - PDFSEARCH.IO - Document Search Engine

Deduction theorem
Results: 172

#	Item
151	Extracting a DPLL Algorithm Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2012-10-25 13:49:14 Logic in computer science Formal methods Automated theorem proving Proof theory Deduction Curry–Howard correspondence Symbol Entailment Boolean satisfiability problem Theoretical computer science Logic Mathematics
152	A Non-splitting Theorem in the Enumeration degrees Mariya Ivanova Soskova University of Leeds, Leeds, LS2 9JT [removed] Add to Reading List Source URL: www.fmi.uni-sofia.bg Language: English - Date: 2008-02-28 12:52:56 Binary operations Deduction Enumeration Mathematical logic Sheaf Entailment Exponentiation Logic Abstract algebra Mathematics
153	The Strongest Nonsplitting Theorem Mariya Ivanova Soskova and S. Barry Cooper University of Leeds, Leeds, LS2 9JT, UK 1 Add to Reading List Source URL: www.fmi.uni-sofia.bg Language: English - Date: 2007-01-18 08:23:48 Symbol Orbifold Constructible universe Proof theory Deduction
154	May 15, 2007 — To be presented at HyLo’07 (Part of ESSLLI[removed]Deep Inference for Hybrid Logic Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2007-05-15 05:01:27 Philosophical logic Deduction Automated theorem proving Natural deduction Method of analytic tableaux Deduction theorem Kripke semantics Sequent calculus Modal logic Logic Mathematical logic Proof theory
155	Does the deduction theorem fail for modal logic? Raul Hakli Sara Negri Add to Reading List Source URL: www.helsinki.fi Language: English - Date: 2011-02-03 07:57:14 Deduction Model theory Philosophical logic Propositional calculus Deduction theorem Natural deduction Admissible rule Sequent calculus Rule of inference Logic Mathematical logic Proof theory
156	PROOFS AND TYPES JEAN-YVES GIRARD Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:08:23 Proof theory Denotational semantics Natural deduction Linear logic Cut-elimination theorem Curry–Howard correspondence Lambda calculus Type theory Semantics Logic Mathematical logic Mathematics
157	Algebraic Properties of Rules of Frege-Hilbert Calculi Elmar Eder Add to Reading List Source URL: www.cosy.sbg.ac.at Language: English - Date: 2005-08-09 12:26:52 Proof theory Automated theorem proving Propositional calculus Logic in computer science Hilbert system Proof calculus Combinatory logic Well-formed formula Deduction theorem Logic Mathematical logic Mathematics
158	On a constructive proof of Kolmogorov’s superposition theorem J¨ urgen Braun, Michael Griebel Add to Reading List Source URL: wissrech.iam.uni-bonn.de Language: English - Date: 2008-10-23 07:23:02 Logical consequence Metalogic Philosophical logic Orbifold Ordinal arithmetic Logic Deduction Entailment
159	On a constructive proof of Kolmogorov’s superposition theorem J¨ urgen Braun, Michael Griebel Add to Reading List Source URL: wissrech.ins.uni-bonn.de Language: English - Date: 2008-10-23 07:23:02 Logical consequence Metalogic Philosophical logic Orbifold Ordinal arithmetic Logic Deduction Entailment
160	Tobias Nipkow Markus Wenzel Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2013-02-12 08:40:54 Mathematical proof Recursion Mathematical induction Algorithm Theorem Structural induction Natural deduction Automated theorem proving Recursive definition Mathematics Logic Mathematical logic

UPDATE